Nuprl Definition : spread5
9,38
postcript
pdf
let
a
,
b
,
c
,
d
,
e
=
u
in
v
(
a
;
b
;
c
;
d
;
e
)
== let
a
,
zz1
=
u
in let
b
,
zz2
=
zz1
in let
c
,
zz3
=
zz2
in let
d
,
e
=
zz3
in
v
(
a
;
b
;
c
;
d
;
e
)
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
spread5
origin